extern "pdfetex" [

	...args
]